$\forall$$R$:es\_realizer\{i:l\}. R{-}base{-}domain($R$) $\in$ ($n$:$\mathbb{Z}$ $\times$ base{-}domain{-}type($n$))